Verification of JEM Structural Compatibility with the Space Shuttle

a structural survey of the polish posters

تصویرسازی قابلیتهای فراوانی را دارا است

Formal Verification for a Next-Generation Space Shuttle

This paper discusses the verification and validation (V&V) of advanced software used for integrated vehicle health monitoring (IVHM), in the context of NASA’s next-generation space shuttle. We survey the current V&V practice and standards used in selected NASA projects, review applicable formal verification techniques, and discuss their integration into existing development practice and standar...

A Structural Verification of Web Services Composition Compatibility

A fundamental feature of service oriented computing is that simple services need to be composed for generating complex services. This work focuses on the analysis and verification of behavior models of web services composition. In particular, we have to check that neither deadlock nor livelock occurs in this composition. Usually, the verification of such integration, with or without mediators, ...

Modeling the Space Shuttle

We summarize our methodology for modeling space shuttle processing using discrete event simulation. Why the project was initiated, what the overall goals were, how it was funded, and who were the members of the project team are identified. We describe the flow of the space shuttle flight hardware through the supporting infrastructure and how the model was created to accurately portray the space...

Space Shuttle Technical Conference